restriction of codomain